Correction to: A Notion of Equivalence for Refactorings with Abstract Execution

Correction to: Chapter “A Notion of Equivalence for Refactorings with Abstract Execution” in: T. Margaria and B. Steffen (Eds.): Leveraging Applications Formal Methods, Verification Validation. Software Engineering, LNCS 13702, https://doi.org/10.1007/978-3-031-19756-7_15In the originally published version this chapter a sentence in 4th paragraph section 5 “Discussion” was incomplete. This has been corrected updated as follows “Conversely, due to challenges checking instantiation schemata against concrete programs already pointed out by Steinhöfel [28, 119,137], one take care not write too restrictive that rule useful working instances.”